prusto-macros-0.1.0
- prusto-macros 0.1.0
- Docs.rs crate page
- MIT
- Links
- Repository
- Crates.io
- Source
- Owners
- nooberfsh
- Dependencies
- proc-macro2 ^1.0 normal
  quote ^1.0 normal
  syn ^1.0 normal
- Versions
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

Rust

☰

Crate prusto_macros

Version 0.1.0

See all prusto_macros's items

?

[−][src]Crate prusto_macros

Derive Macros